/*
 * JVM_Random.h
 *
 *  Created on: 13.02.2011
 *      Author: Tavin
 */

#ifndef JVM_RANDOM_H_
#define JVM_RANDOM_H_

uint16_t JVM_Random_get();
uint16_t JVM_Random_get_range();
#endif /* JVM_RANDOM_H_ */
